A Gentle Introduction to Multi-stage Programming
نویسنده
چکیده
Multi-stage programming (MSP) is a paradigm for developing generic software that does not pay a runtime penalty for this generality. This is achieved through concisely, carefully designed language extensions that support runtime code generation and program execution. Additionally, type systems for MSP languages are designed to statically ensure that dynamically generated programs are type safe (and therefore require no type checking after they are generated). This tutorial is aimed at the reader interested in learning the basics of MSP practice and research. The tutorial is broken into two parts. The first is a hands-on introduction to MSP in the context of an MSP language called MetaOCaml. The second is an introduction to research in this area, and a number of important current research challenges.
منابع مشابه
A Gentle Introduction to Multi-stage Programming, Part II
As domain-specific languages (DSLs) permeate into mainstream software engineering, there is a need for economic methods for implementing languages. Following up on a paper with a similar title, this paper focuses on dynamically typed languages, covering issues ranging from parsing to defining and staging an interpreter for an interesting subset of Dr. Scheme. Preliminary experimental results in...
متن کاملA mixed integer linear programming formulation for a multi-stage, multi-Product, multi-vehicle aggregate production-distribution planning problem
In today’s competitive market place, companies seek an efficient structure of supply chain so as to provide customers with highest value and achieve competitive advantage. This requires a broader perspective than just the borders of an individual company during a supply chain. This paper investigates an aggregate production planning problem integrated with distribution issues in a supply chain ...
متن کاملA multi-stage stochastic programming for condition-based maintenance with proportional hazards model
Condition-Based Maintenance (CBM) optimization using Proportional Hazards Model (PHM) is a kind of maintenance optimization problem in which inspections of a system relevant to its failure rate depending on the age and value of covariates are performed in time intervals. The general approach for constructing a CBM based on PHM for a system is to minimize a long run average cost per unit of time...
متن کاملA Stochastic Programming Approach for a Multi-Site Supply Chain Planning in Textile and Apparel Industry under Demand Uncertainty
In this study, a new stochastic model is proposed to deal with a multi-product, multi-period, multi-stage, multi-site production and transportation supply chain planning problem under demand uncertainty. A two-stage stochastic linear programming approach is used to maximize the expected profit. Decisions such as the production amount, the inventory level of finished and semi-finished product, t...
متن کاملRe-configuration of the Relief Network Considering Uncertain Demand and Link Failure in an Earthquake: A Multi-stage Stochastic Programming
Disasters inevitably trigger far-reaching consequences affecting all living things and the environment. Therefore, top managers and decision-makers in disaster management seek comprehensive approaches to evaluate facilities and network preparedness in dealing with the response phase of predicted disaster scenarios in terms of number of casualties, costs, and unmet demands. In this regard, pre...
متن کامل